41. Theorem Proving in Higher Order Logics :
Author: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
42. Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, proceedings
Author: J. van Leeuwen...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
1872
43. Topics in the theory of computation
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational complexity ; Congresses. ; Machine theory ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
44. Topics in the theory of computation :
Author: edited by Marek Karpinski and Jan van Leeuwen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity-- Congresses,Computer science-- Mathematics-- Congresses,Machine theory-- Congresses
Classification :
QA267
.
I56
1983
45. Topics in the theory of computation
Author: / edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computational complexity--Congresses,Machine theory--Congresses,Electronic data processing--Mathematics--Congresses
Classification :
QA
,
267
,.
I56
,
1983
46. Topics in the theory of computation
Author: / edited by Marek Karpinski and Jan van Leeuwen
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
QA267
،.
I56
1983
